perm filename REFS.PUB[L70,TES] blob sn#049168 filedate 1973-06-13 generic text, type T, neo UTF8
00100	.ARTICLE(ABRAHAMS_LISP2, |Abrahams, P. W. et al|,
00200	.The LISP 2 Programming Language and System,
00300	.|≤Proc. AFIPS FJCC 29≥ (1966), 661-676|)
00400	.
00500	.ARTICLE(BOBROW_CONTROL, |Bobrow, D. G. and Wegbreit, B.|,
00600	.A Model and Stack Implementation of Multiple Environments,
00700	.|Report No. 2334 (March#1972), Bolt, Beranek, and Newman|)
00800	.
00900	.ARTICLE(BOBROW_SUCCESSOR, |Bobrow, D. G.|,
01000	.Requirements for Advanced Programming Systems for List Processing,
01100	.|≤Comm.#ACM 15≥, 7 (July#1972), 618-627|)
01200	.
01300	.ARTICLE(BROWN_LOWL, |Brown, P. J.|, Levels of Language for Portable Software,
01400	.|≤Comm.#ACM 15≥, 12 (Dec.#1972), 1059-1062|)
01500	.
01600	.BOOK(BURSTALL_POP2, |Burstall, R.M., Collins, J.S. and Popplestone, R.J.|,
01700	.Programming in Pop-2,
01800	.|University Press, Edinburg, Scotland (1971), 279-282|)
01900	.
02000	.BOOK(CHRISTENSEN_EXT, |Christensen, C. and Shaw, C. J.|,
02100	.Proceedings of the Extensible Languages Symposium,
02200	.|≤ACM SIGPLAN 4≥, 8 (Aug.#1969)|)
02300	.
02400	.ARTICLE(COLBY_DOC, |Colby, K. M. and Enea, H.|,
02500	.|Heuristic Methods for Computer Understanding of Natural Language in Context
02600	. Restricted On-Line Dialogues|,
02700	.|≤Math. Biosciences 1≥ (1967), 1-25|)
02800	.
02900	.ARTICLE(COLBY_WATT, |Colby, K. M., Watt, J., and Gilbert, J. P.|,
03000	.A Computer Method of Psychotherapy,
03100	.|≤J. of Nervous and Mental Disease 142≥ (1966), 148-152|)
03200	.
03300	.ARTICLE(DICKMAN_ETC, |Dickman, B. N.|, |ETC: An Extensible Macro Based Compiler|,
03400	.|≤Proc. AFIPS SJCC 38≥ (1971), 529-538|)
03500	.
03600	.ARTICLE(DUBY_EXT, |Duby, J. J.|,
03700	.Extensible Languages: A Potential User's Point of View,
03800	.|in [λREF SCHUMAN_EXT}], pp.137-140|)
03900	.
04000	.ARTICLE(ENEA_IDIOLECT, |Enea, H., Colby, K. M., and Moravec, H.|,
04100	.Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues,
04200	.|(in this proceedings)|)
04300	.
04400	.ARTICLE(ENEA_INTEGRATE, |Enea, H., and Tesler, L.|, INTEGRATE,
04500	.|Unpublished Stanford University Class Project (1964)|)
04600	.
04700	.ARTICLE(ENEA_MLISP, |Enea, H.|, |MLISP (IBM 360/67)|,
04800	.|Computer Science Technical Report CS 92 (1968), Stanford University|)
04900	.
05000	.BOOK(FIKES_BACK, |Fikes, R.E.|,
05100	.A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures,
05200	.|PH.D. Thesis (1968), Carnegie-Mellon University|)
05300	.
05400	.ARTICLE(FLOYD_BACK, |Floyd, R. W.|, Nondeterministic Algorithms,
05500	.|≤J.#ACM 14≥, 4 (Oct.#1967), 636-644|)
05600	.
05700	.ARTICLE(GOLOMB_BACK, |Golomb, S. W. and Baumert, L. D.|,
05800	.Backtrack Programming,
05900	.|≤J.#ACM 12≥, 4 (Oct. 1965), 516-524|)
06000	.
06100	.ARTICLE(GUZMAN_CONVERT, |Guzman, A., and McIntosh, H. V.|, CONVERT,
06200	.|≤Comm.#ACM 9≥, 8 (Aug. 1966), 604-615|)
06300	.
06400	.BOOK(HEWITT_THESIS, |Hewitt, C.|,
06500	.|PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot|,
06600	.|Ph.D. Thesis (Feb 1971), MIT|)
06700	.
06800	.ARTICLE(HEWITT_PLANNER, |Hewitt, C.|, Procedural Embedding of Knowledge in PLANNER,
06900	.|≤Proc. IJCAI 2≥ (1971), 167-182|)
07000	.
07100	.ARTICLE(KAY_LISP, |Kay, A.|, Working Notes on the ARPA List Machine,
07200	.|Informal Memo (Feb. 1971)|)
07300	.
07400	.ARTICLE(KAY_FLEX, |Kay, A.|,
07500	.|FLEX, A Flexible Extendible Language|,
07600	.|CS Tech. Report (1968), U. of Utah|)
07700	.
07800	.ARTICLE(LANDIN_ISWIM, |Landin, P. J.|, The Next 700 Programming Languages,
07900	.|≤Comm. ACM 9≥, 3 (March#1966), 157-166|)
08000	.
08100	.ARTICLE(LEAVENWORTH_STREAMING, |Leavenworth, B. M.|,
08200	.Definition of Quasi-Parallel Control Functions in a High-Level Language,
08300	.|≤Proc. Int'l. Comp. Symp.≥ (Bonn,#1970)|)
08400	.
08500	.ARTICLE(MCCARTHY_LISP, |McCarthy, J.|,
08600	.|Recursive Functions of Symbolic Expressions and their Computation by
08700	. Machine, Part I|, |≤Comm.#ACM 3≥, 4 (April#1960), 184-195|)
08800	.
08900	.BOOK(MCCARTHY_LISP15, |McCarthy, J. et al|,
09000	.LISP 1.5 Programmer's Manual, |MIT Press, 1962|)
09100	.
09200	.ARTICLE(MCILROY_EXT, |McIlroy, M. Douglas|,
09300	.|Macro Instruction Extension of Compiler Languages|,
09400	.|≤Comm.#ACM 3≥, 4 (April#1960), 214-220|)
09500	.
09600	.ARTICLE(MICHIE_MEMO, |Michie, D.|,
09700	.Memo Functions: a Language Feature with Rote-Learning Properties,
09800	.|≤Proc. IFIP≥ (1968), Edinburgh|)
09900	.
10000	.ARTICLE(MILNER_LCF, |Milner, R.|,
10100	.|Logic for Computable Functions, Description of a Machine Implementation|,
10200	.|AI Memo 169, Stanford University, 1972|)
10300	.
10400	.BOOK(MITCHELL_THESIS, |Mitchell, J.|,
10500	.|The Design and Construction of Flexible and Efficient
10600	. Interactive Programming Systems|,
10700	.|PhD. Thesis, Carnegie Mellon University, June 1970|)
10800	.
10900	.ARTICLE(PRENNER_BACK, |Prenner, C.J., Spitzen, J.M., and Wegbreit, B.|,
11000	.An Implementation of Backtracking for Programming Languages",
11100	.|≤ACM SIGPLAN Notices 7≥, 11 (Nov. 1972), 36-44|)
11200	.
11300	.BOOK(QUAM_LISP16, |Quam, L.H. and Diffie, W.|,
11400	.Stanford LISP 1.6 Manual,
11500	.|AI Operating Note 28.7 (rev. 1972), Stanford University|)
11600	.
11700	.BOOK(RULIFSON_QA4, |Rulifson, J. F., Waldinger, R. J., and Derksen, J. A.|,
11800	.|QA4, A Language for Writing Problem-Solving Programs|,
11900	.|≤Proc. IFIP≥ (1968), TA-2, 111-115|)
12000	.
12100	.ARTICLE(SCHUMAN_EXT, |Schuman, S., ed.|,
12200	.Proceedings of the International Symposium on Extensible Languages,
12300	.|≤ACM SIGPLAN Notices 6≥, 12 (Dec.#1971)|)
12400	.
12500	.ARTICLE(SMITH_BACK, |Smith, D. and Enea, H.|,
12600	.Backtracking in MLISP2,
12700	.|(in this proceedings)|)
12800	.
12900	.ARTICLE(SMITH_EXT, |Smith, D. and Enea, H.|,
13000	.MLISP2 -- A Programming Language for Writing and Debugging Translators,
13100	.|(forthcoming)|)
13200	.
13300	.ARTICLE(SMITH_MLISP, |Smith, D.|, |MLISP (PDP-10)|,
13400	.|Artificial Intelligence Memo No. 135, Stanford University, Oct. 1970|)
13500	.
13600	.BOOK(SMITH_MLISP2, |Smith, D.C. and Enea, H.J.|,
13700	.MLISP2 Manual,
13800	.|Artificial Intelligence Memo No. 195, Stanford University, June 1973|)
13900	.
14000	.ARTICLE(SCOWEN_BABEL, |Scowen, R. S.|, An Application of Extensible Compilers,
14100	.|in [λREF SYMPOSIUM}], pp.1-7|)
14200	.
14300	.ARTICLE(SUSSMAN_CONNIVER, |Sussman, G. J. and McDermott, D. V.|,
14400	.Why Conniving is Better than Planning,
14500	.|≤Proc. AFIPS FJCC 41≥ (1972), 1171-1180|)
14600	.
14700	.BOOK(SUSSMAN_MICRO, |Sussman, G. J. and Winograd, T.|,
14800	.Micro-Planner Reference Manual,
14900	.|AI Memo 203 (July#1970), MIT|)
15000	.
15100	.BOOK(TEITELMAN_BBNLISP, |Teitelman, W. et al|,
15200	.BBN-LISP Reference Manual,
15300	.|(July#1971), Bolt, Beranek, and Newman|)
15400	.
15500	.ARTICLE(TEITELMAN_DWIM, |Teitelman, W.|,
15600	.Toward a Programming Laboratory,
15700	.|≤Proc. IJCAI 1≥ (1969), 1-8|)
15800	.
15900	.BOOK(TEITELMAN_FLIP, |Teitelman, W.|,
16000	.|Design and Implementation of FLIP, a LISP Format Directed List Processor|,
16100	.|Scientific Report No. 10 (July#1967), Bolt, Beranek, and Newman|)
16200	.
16300	.ARTICLE(TESLER_COMPEL, |Tesler, L. and Enea, H.|, A Language Design for Concurrent Processes,
16400	.|≤Proc. AFIPS SJCC 32≥ (1968), 403-408|)
16500	.
16600	.ARTICLE(TESLER_REWRITES, |Tesler, L., Enea, H., and Smith, D.|,
16700	.The LISP70 Pattern Matching System,
16800	.|(in this proceedings)|)
16900	.
17000	.ARTICLE(WEGNER_STRUCTURE, |Wegner, P.|, Information Structure Models,
17100	.|Proc.#SIGPLAN Symp. on Data Structures in Prog. Lang., ≤ACM Sigplan Notices 6≥
17200	. (Feb.#1971), 1-54|)
17300	.
17400	.ARTICLE(WEGBREIT_ECL, |Wegbreit, B.|, The ECL Programming System,
17500	.|≤Proc. AFIPS FJCC 39≥ (1971), 253-262|)
17600	.
17700	.ARTICLE(WEIZENBAUM_ELIZA, |Weizenbaum, J.|,
17800	.|ELIZA -- A computer Program for the Study of Natural Communication Between
17900	. Man and Machine", ≤Comm. ACM 9≥, 1 (Jan.#1966), 36-45|)